Multiset theory.

Complementation in Multiset Theory

The paper delineates the problem related to difference and complementation in Multiset Theory. It is shown that none of the existing approaches succeeds in resolving the attendant difficulties without assuming some contrived stipulations. Mathematics Subject Classifications: 03E15, 03E20, 03E30

Multiset rewriting by multiset onstraint solving

Properties of Multiset Language Classes Defined by Multiset Storage Automata

The previously introduced multiset language classes defined by multiset storage automata are being explored with respect to their closure properties and alternative characterizations.

Constraint Multiset

Higher-Order Multiset Programming

Gamma is a kernel language in which programs are described in terms of multiset transformations following the chemical reaction metaphor. Previous work has demonstrated its signiicance for the construction of massively parallel programs but also highlighted some limitations. We introduce a higher-order extension of this formalism unifying the program and data syntactic categories. As a conseque...